Zuling Kang: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A model checker for WS-CDL

Hongbing Wang, Zuling Kang, Ning Zhou, Li Li

Journal:

Journal of Systems and Software

Year:

2010

Language:

english

File:

PDF, 580 KB

english, 2010

2

WS-CDL+ for web service collaboration

Zuling Kang, Hongbing Wang, Patrick C. K. Hung

Journal:

Information Systems Frontiers

Year:

2007

Language:

english

File:

PDF, 463 KB

english, 2007

3

[IEEE 2009 IEEE Congress on Services (SERVICES) - Los Angeles, CA, USA (2009.07.6-2009.07.10)] 2009 Congress on Services - I - Verifying WS-CDL-Based Web Services Collaboration by Model Checking

Kang, Zuling, Wang, Hongbing

Year:

2009

Language:

english

File:

PDF, 458 KB

english, 2009

4

[IEEE 2013 IEEE International Conference on Services Computing (SCC) - Santa Clara, CA, USA (2013.06.28-2013.07.3)] 2013 IEEE International Conference on Services Computing - A Novel Approach to Allocate Cloud Resource with Different Performance Traits

Kang, Zuling, Wang, Hongbing

Year:

2013

Language:

english

File:

PDF, 254 KB

english, 2013

5

[IEEE 2005 First International Conference on Semantics, Knowledge and Grid - Guilin Guanxi, China (2005.11.27-2005.11.29)] 2005 First International Conference on Semantics, Knowledge and Grid - Implementation and Application of Ontology Databases with User-Defined Rules (UDR) Supported

Zuling, Kang, Hongbing, Wang

Year:

2005

Language:

english

File:

PDF, 150 KB

english, 2005

6

[IEEE 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Taipei, Taiwan (2009.01.14-2009.01.15)] 2009 IEEE International Conference on Service-Oriented Computing and Applications (SOCA) - Logic-based verification for Web services composition with TLA

Wang, Hongbing, Li, Li, Wang, Chen, Kang, Zuling, Liu, Dongxi, Wu, Jemma, Bouguettaya, Athman

Year:

2009

Language:

english

File:

PDF, 190 KB

english, 2009

7

[IEEE IEEE International Conference on Web Services (ICWS 2007) - Salt Lake City, UT, USA (2007.07.9-2007.07.13)] IEEE International Conference on Web Services (ICWS 2007) - WS-CDL+: An Extended WS-CDL Execution Engine for Web Service Collaboration

Kang, Zuling, Wang, Hongbing, Hung, Patrick C.K.

Year:

2007

Language:

english

File:

PDF, 483 KB

english, 2007

8

Performance-Aware Cloud Resource Allocation via Fitness-enabled Auction

Kang, Zuling, Wang, Hongbing, Wang, Lei

Journal:

IEEE Transactions on Parallel and Distributed Systems

Year:

2015

Language:

english

File:

PDF, 2.28 MB

english, 2015